Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
511	Period-Halving Bifurcation of a Neuronal Recurrence Equation Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-06-19 13:03:42 Œ Algebra Recurrence relation Theory of computation
512	CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 Time, space, and precision: Revisiting classic problems in computational geometry with degree-driven analysis Jack Snoeyink∗ Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2014-08-04 14:37:40 Analysis of algorithms Computational complexity theory Computer arithmetic Algorithm Mathematical logic Floating point Computational geometry Time complexity Model of computation Theoretical computer science Applied mathematics Computer science
513	Matching [for] the Lambda Calculus of Objects ? Viviana Bono 1 Dipartimento di Informatica, Universit` a di Torino C.so Svizzera 185, ITorino, Italy e-mail: Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:35:07 Programming language theory Data types Models of computation Program analysis Type system Subtype polymorphism Symbol Lambda calculus Eval Software engineering Type theory Computing
514	A Bisimulation for Type Abstraction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-01-18 15:06:02 Mathematics Models of computation Denotational semantics Lambda calculus Model theory Π-calculus Bisimulation Orbifold Theoretical computer science Applied mathematics Logic in computer science
515	Secure Multi-Execution: Fine-grained, Declassification-aware, and Transparent Willard Rafnsson Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract—Recently, much progress has been made on a Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-04-29 05:32:43 Universal algebra Mathematics Models of computation Logic Automata theory Model theory Structure
516	Sequences Generated by Neuronal Automata with Memory Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:33:17 Theory of computation Control theory Integer sequences Stochastic differential equations Binomial coefficient Kalman filter Mathematics Algebra Recurrence relation
517	Lemma 1 Ref: DS/FMU/FEF/006 DRA FRONT END FILTER PROJECT Issue: Revision : 4 .3 Security Conjecture for the SSQL Abstract Machine Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:38:10 Models of computation Procedural programming languages Automata theory Finite-state machine ALGOL 68 SQL Abstraction Set Computing Software engineering Computer programming
518	ENGG1015 Homework 1 Question 1 Add to Reading List Source URL: www.eee.hku.hk Language: English - Date: 2012-12-03 04:03:28 Theoretical computer science Theory of computation Adders Logic gates Traffic law Subtractor Combinational logic Traffic light Light-emitting diode Binary logic Digital electronics Electronic engineering
519	A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-08-08 12:01:23 Lambda calculus Models of computation Logic in computer science Programming language semantics Denotational semantics Fixed-point combinator Model theory Simply typed lambda calculus Curry–Howard correspondence Theoretical computer science Applied mathematics Computer science
520	The Class of Constraint Satisfaction Problems over a Knot Peter Golbus, Robert W. McGrail, Mona Merling, Kenneth Ober, Mary Sharac, and Japheth Wood The Laboratory for Algebraic and Symbolic Computation Reem-Kayden Cente Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-09-27 11:59:38 Algebra Racks and quandles Constraint satisfaction Structure Tricolorability Quasigroup Figure-eight knot Knot theory Abstract algebra Mathematics

UPDATE